#ifndef __PMM_H_
#define __PMM_H_

#include "types.h"

#define ALLOC_START 0xC0000000UL

struct free_page_list {
	struct linked_list *next;
};

void print_frpg_list();
void free_a_page(uint64 start);
void pmm_init();
uint64 kalloc(uint64 size);
void kfree(uint64 start, uint64 size);

#endif
